Proceedings 11th workshop on Quantum Physics and Logic
نویسندگان
چکیده
منابع مشابه
Proceedings of the 11th Workshop on Nonmonotonic Reasoning
These are the proceedings of the 11th Nonmonotonic Reasoning Workshop. Theaim of this series http://www.kr.org/NMR/ is to bring together active re-searchers in the broad area of nonmonotonic reasoning, including belief revision,reasoning about actions, planning, logic programming, argumentation, causality,probabilistic and possibilistic approaches to KR, and other related topics...
متن کاملProceedings of the Workshop on Linear Logic and Logic Programming
Declarative programming languages often fail to effectively address many aspects of control and resource management. Linear logic provides a framework for increasing the strength of declarative programming languages to embrace these aspects. Linear logic has been used to provide new analyses of Prolog's operational semantics, including left-to-right/depth-first search and negation-as-failure. I...
متن کاملLogic and Quantum Physics
Current research in Logic is no longer confined to the traditional study of logical consequence or valid inference. As can be witnessed by the range of topics covered in this special issue, the subject matter of logic encompasses several kinds of informational processes ranging from proofs and inferences to dialogues, observations, measurements, communication and computation. What interests us ...
متن کاملProceedings of the Workshop “ Logic & Cognition ”
This paper presents the first results of an experimental study concerning the semantic status of borderline cases of vague predicates. Our focus is on the particular case of color predicates (such as ‘yellow’, ‘orange’, ‘blue’, ‘green’), and on the influence of context in the categorization of color shades at the border between two color categories. In an unpublished study, D. Raffman and colle...
متن کاملLogic–linguistic remarks on quantum physics
The logic–linguistic structure of quantum physics is analysed. The role of formal systems and interpretations in the representation of nature is investigated. The problems of decidability, completeness, and consistency can affect quantum physics in different ways. Bohr’s complementarity is of great interest, because it is a contradictory proposition. We shall see that the flowing of time preven...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Electronic Proceedings in Theoretical Computer Science
سال: 2014
ISSN: 2075-2180
DOI: 10.4204/eptcs.172.0